/* Benchmarks for the PionterC verifier. */

// dangling pointer free


/*@ */
void mem_leak()
{
  //struct list* temp;
  int* p, q, r;
  q = alloc(int);
  free(r);
  //r = alloc(int);
  
  return;
}
/*@  */

/*@  */
void foo()
{
  return;
}
/*@  */
